es{-}state{-}when{-}without(${\it es}$;$e$;$x$)($y$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$if $y$ = $x$ then $\cdot$ else es{-}when(${\it es}$; $y$; $e$) fi